Knut Urban's Documents

Knut Urban's Documents

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)
Read more
Daten- und Informationsqualität: Auf dem Weg zur Information Excellence, 2. Auflage

Daten- und Informationsqualität: Auf dem Weg zur Information Excellence, 2. Auflage
Read more
Intelligent Computer Mathematics - MKM 2011

Intelligent Computer Mathematics - MKM 2011
Read more
Medicine PreTest Self-Assessment & Review, Twelfth Edition (PreTest Clinical Medicine)

Medicine PreTest Self-Assessment & Review, Twelfth Edition (PreTest Clinical Medicine)
Read more
Geometric Modelling, Numerical Simulation, and Optimization: Applied Mathematics at SINTEF

Geometric Modelling, Numerical Simulation, and Optimization: Applied Mathematics at SINTEF
Read more
Mastering System center configuration manager 2007

Mastering System center configuration manager 2007
Read more
Cities Transformed: Demographic Change and Its Implications in the Developing World

Cities Transformed: Demographic Change and Its Implications in the Developing World
Read more
Mastering System Center Configuration Manager 2007 R2

Mastering System Center Configuration Manager 2007 R2
Read more
Chromatographic Characterization of Polymers: Hyphenated and Multidimensional Techniques (Advances in Chemistry Series 247)

Chromatographic Characterization of Polymers: Hyphenated and Multidimensional Techniques (Advances in Chemistry Series 247)
Read more
Image Processing Based on Partial Differential Equations: Proceedings of the International Conference on PDE-Based Image Processing and Related Inverse ... 8-12, 2005 (Mathematics and Visualization)

Image Processing Based on Partial Differential Equations: Proceedings of the International Conference on PDE-Based Image Processing and Related Inverse ... 8-12, 2005 (Mathematics and Visualization)
Read more
Global Hermeneutics?: Reflections and Consequences

Global Hermeneutics?: Reflections and Consequences
Read more
Splitting Methods for Partial Differential Equations With Rough Solutions: Analysis and Matlabr Programs (EMS Series of Lectures in Mathematics)

Splitting Methods for Partial Differential Equations With Rough Solutions: Analysis and Matlabr Programs (EMS Series of Lectures in Mathematics)
Read more
Europe's New State of Welfare: Unemployment, Employment Policies and Citizenship

Europe's New State of Welfare: Unemployment, Employment Policies and Citizenship
Read more
Image Processing Based on Partial Differential Equations

Image Processing Based on Partial Differential Equations
Read more
Mathematical methods for curves and surfaces: 7th int. conf., MMCS 2008, Tonsberg

Mathematical methods for curves and surfaces: 7th int. conf., MMCS 2008, Tonsberg
Read more
Mathematical Methods for Curves and Surfaces: 7th International Conference, MMCS 2008, Tønsberg, Norway, June 26-July 1, 2008, Revised Selected Papers ... Computer Science and General Issues)

Mathematical Methods for Curves and Surfaces: 7th International Conference, MMCS 2008, Tønsberg, Norway, June 26-July 1, 2008, Revised Selected Papers ... Computer Science and General Issues)
Read more
Energy Futures and Urban Air Pollution

Energy Futures and Urban Air Pollution
Read more
Managing Wastewater in Coastal Urban Areas

Managing Wastewater in Coastal Urban Areas
Read more
Constructing Accessible Websites

Constructing Accessible Websites
Read more
Environmental Assessment

Environmental Assessment
Read more
Underwater Acoustic Networking Techniques

Underwater Acoustic Networking Techniques
Read more
Rebuilding the Research Capacity at HUD

Rebuilding the Research Capacity at HUD
Read more
Theologische Realenzyklopadie. Vol. 20: Kreuzzuge - Leo XIII

Theologische Realenzyklopadie. Vol. 20: Kreuzzuge - Leo XIII
Read more
Theologische Realenzyklopadie, Vol. 18: Katechumenat Katechumenen-Kirchenrecht

Theologische Realenzyklopadie, Vol. 18: Katechumenat Katechumenen-Kirchenrecht
Read more
Theologische Realenzyklopädie. Band 7: Bohmische Bruder- Chinesische Religionen

Theologische Realenzyklopädie. Band 7: Bohmische Bruder- Chinesische Religionen
Read more
Theologische Realenzyklopadie. Band 10: Erasmus - Fakultaten, Theologische

Theologische Realenzyklopadie. Band 10: Erasmus - Fakultaten, Theologische
Read more
Web Accessibility

Web Accessibility
Read more
Web Accessibility

Web Accessibility
Read more
Seeds of Fear

Seeds of Fear
Read more